5. Advanced computer applications, 1994: presented at the 1994 Pressure Vessels and Piping Conference, Minneapolis, Minnesota, June 19-23, 1994
Author: sponsored by the Pressure Vessels and Piping Division, ASME; principal editor, Peter Langsten; contributing editors, K.H. Hsu, Eugene L. Poole, Jun Tang
Library: Central Library and Documentation Center (Kerman)
Subject: Computer programs - Congresses ، Structural analysis )Engineering(,Design and construction - Data processing - Congresses ، Pressure vessels,Design and construction - Data processing - Congresses ، Piping
Classification :
TA
647
.
A38
1994


6. Advanced information systems engineering, proceedings of ...
Author: International conference, CAiSE 2001, 13th, Interlaken, 2001
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Systems engineering- Computer programs ► Computer-aided software engineering- Congresses
Classification :
005
I61a


7. Advances in databases and information systems
Author: / Janis Grundspenkis ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Database management, Congresses,Information technology, Congresses
Classification :
QA76
.
9
.
D3A33
2010


8. Advances in electrical engineering software : proceedings of the First International Conference on Electrical Engineering Analysis and Design, Lowell, Massachusetts, USA, 21-23 August 1990
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electric engineering-- Computer programs-- Congresses,، Electrical engineering-- Applications of computer systems-- Software
Classification :
TK
153
.
I577
1990


9. Advances in human factors in cybersecurity :
Author: editors: Tareq Ahram and Waldemar Karwowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Computer security, Congresses.,Human-computer interaction, Congresses.,Management information systems, Congresses.,User interfaces (Computer systems), Congresses.,Computational intelligence.,Computer security.,COMPUTERS-- General.,Human-computer interaction.,Management information systems.,User interfaces (Computer systems)
Classification :
QA76
.
9
.
A25


10. Advances in soft and hard computing.
Author: / Edited by Jerzy Pejaś... [eta al.].
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: هوش مصنوعی,Artificial intelligence,Soft computing -- Congresses.,Computer systems -- Congresses.,a03,a03,Artificial intelligence.,Soft computing.,Computer systems.

11. Advances in soft and hard computing /
Author: Jerzy Pejaś [and 3 others], editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems, Congresses.,Soft computing, Congresses.,Computer systems.,Soft computing.
Classification :
QA76
.
9
.
S63
A38
2019


12. Agent-technologies, infrastructures, tools, and applications for E-services
Author: / Ryszard Kowalczyk ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent agents (Computer software)--Congresses,Software engineering--Congresses,Electronic commerce--Computer programs--Congresses
Classification :
QA
,
76
.
76
,.
I58
,
N63
,
2002


13. Ambient media and systems :
Author: Silvia Gabrielli, Dirk Elias, Kanav Kahol (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ambient intelligence, Congresses.,Human-computer interaction, Congresses.
Classification :
QA76
.
5915
.
I58
2011


14. Artificial intelligence applications in chemistry :
Author: Thomas H. Pierce, Bruce A. Hohne, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.
Classification :
QD39
.
3
.
E46
A78
1986


15. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.

16. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011


18. Balanced automation systems :
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Systems engineering -- Computer programs--Congresses►Automatic control--Congresses
Classification :
168
.
B24
1995

19. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb


20. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
